61. Design verification with e
پدیدآورنده : / Samir Palnitkar
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7885
.
7
.
P33
2004
62. Design verification with e
پدیدآورنده : / Samir Palnitkar
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7885
.
7
.
P33
2004
63. Digital Systems Design and Prototyping Using Field Programmable Logic
پدیدآورنده : by Zoran Salcic, Asim Smailagic.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Computer-aided design.,Engineering.,Systems engineering.
64. Digital integrated circuits :
پدیدآورنده : Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Digital integrated circuits-- Design and construction.
رده :
TK7874
.
65
R33
2003
65. Digital timing measurements :
پدیدآورنده : by Wolfgang Maichen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic measurements.,Electronic measurements.,Electronic measurements.,Ingénierie.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7878
.
M335
2006eb
66. EDA for IC implementation, circuit design, and process technology
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : aided design. ;-Integrated circuits ; Computer
67. EDA for IC implementation, circuit design, and process technology
پدیدآورنده : / edited by Louis Scheffer, Luciano Lavagno, Grant Martin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Integrated circuits--Computer-aided design,Integrated circuits--Design and construction
رده :
TK7874
.
E257
2006
68. EDA for IC system design, verification, and testing
پدیدآورنده : / edited by Louis Scheffer, Luciano Lavagno, Grant Martin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Integrated circuits--Computer-aided design,Integrated circuits--Verification--Data processing
رده :
TK7874
.
E26
2006
69. EDA for IC system design, verification, and testing
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Computer-aided design ، Integrated circuits,Verification Data processing ، Integrated circuits
رده :
TK
7874
.
E26
2006
70. ESD
پدیدآورنده : / Steven H. Voldman
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Semiconductors, Protection,Integrated circuits, Protection,Electrostatics,Analog electronic systems, Design and construction
رده :
TK7871
.
85
.
V6525
2011
71. ESL design and verification :
پدیدآورنده : Brian Bailey, Grant Martin, Andrew Piziali.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Systems on a chip-- Design and construction.,Systems on a chip-- Design and construction.,Systems on a chip-- Design and construction.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
B326
2007eb
72. Electric, electronic and control engineering
پدیدآورنده : editors, Fun Shao, Wise Shu and Tracy Tian.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic control -- Congresses.,Electrical engineering -- Congresses.,Electronics -- Congresses.
رده :
TK5
.
E358
9999
73. Formal Methods for Distributed System Development :
پدیدآورنده : PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Software engineering.
74. Formal hardware verification : methods and systems in comparison
پدیدآورنده : Thomas Kropf, )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
75. Formal methods in computer-aided design : first international conference, FMCAD'96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings
پدیدآورنده : Mandayam Srivas, Albert Camilleri, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1166
76. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings
پدیدآورنده : Ganesh Gopalakrishnan, Philip Windley )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1522
77. Formal methods in computer-aided design : 5th International Confrence ]i.e. conference[, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 : proceedings
پدیدآورنده : Alan J. Hu, Andrew K. Martin )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
3312
78. Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 2002, Proceedings
پدیدآورنده : Mark D. Aagaard, John W. O'Leary )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer-aided design -- Congresses ، Digital integrated circuits,Congresses ، Integrated circuits -- Verification,Congresses ، Formal methods )Computer science(,Design and construction -- Mathematics -- Congresses ، Digital integrated circuits
رده :
QA
76
.
L28
Vol
.
2517
79. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Steven D. Johnson )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1954
80. Formal system verification : state-of-the-art and future trends
پدیدآورنده : Rolf Drechsler, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer systems -- Verification,، Computer software -- Verification,، Integrated circuits -- Verification,، Electronic systems
رده :
QA
76
.
76
.
V47F6
